$\forall$$l$:IdLnk, ${\it tg}$:Id, $L$:Knd List. $\vdash$${\it es}$.only events in $L$ send on $l$ with ${\it tg}$